1. Automated theorem proving in software engineering
Author: Johann M. Schumann ; foreword by Donald Loveland,Title
Library: (Mazandaran)
Subject: Software engineering,Automatic theorem proving
Classification :
QA
.
S38
76
.
758
2001
